Physics Lab. 2024『計算物理班 新たな数学としてのホモトピー型理論』
関山 実
. 2024. 計算物理班 新たな数学としてのホモトピー型理論.
https://event.phys.s.u-tokyo.ac.jp/physlab2024/pdfs/poster/poster_calcphys02.pdf
Univalence Axiom (UA)
は「ホモトピー同値な型は等しい」
$ (A =_U B) ≃ (A ≃ B)